Function optimizations #2054

vouillon · 2025-06-19T17:29:00Z

Combination of many optimizations. I'm going to split this into several PRs.

Do not store the code pointer in closures if we know we don't need it (Closure optimization: omit code pointer when not used #2059)
Unboxing of floats and integers within a function (Number unboxing #2069)
Function parameters: pass integers as i32 rather than (ref eq) when possible
Function parameters: unbox floats and integers
Unbox return values
Reference unboxing (Reference unboxing #1958)
Specialization of number comparisons (Wasm: specialization of number comparisons and bigarray operations #1954)
Specialization of bigarray operations (Wasm: specialization of number comparisons and bigarray operations #1954)

…nd float arrays

Avoid boxing numbers if the boxed value is never actually used.

…s i32.

Coercion from an unboxed int to an unboxed number can only occur for the dummy value.

V8 currently generates suboptimal code for this (the builtins are no longer inlined).

Brr is using this function. This is an alias for caml_string_of_uint8_array.

vouillon added the wasm label Jun 19, 2025

vouillon force-pushed the fun-param-unboxing branch 4 times, most recently from 67be0f5 to bc7d9e9 Compare June 24, 2025 09:05

vouillon force-pushed the fun-param-unboxing branch 3 times, most recently from 4e77fb9 to 448b33c Compare July 10, 2025 12:24

vouillon added 6 commits July 10, 2025 16:12

Clean-up: closures will not explicitly contain their arity

97bb1dd

Function call analysis

f6324ab

Do not store the code pointer in the closure if we know we don't need it

df67de0

Add debug timing for Call_graph_analysis and Typing

2d5895c

Wasm output: accept Seq anywhere

b39946d

Wasm code generation: separate functions to allocate regular blocks a…

f7ad7b5

…nd float arrays

vouillon force-pushed the fun-param-unboxing branch from 448b33c to 54a24e2 Compare July 10, 2025 14:17

vouillon added 14 commits July 10, 2025 16:55

Unboxed numbers

e5c0835

Avoid boxing numbers if the boxed value is never actually used.

When a function is only called directy, pass its integer parameters a…

a322c95

…s i32.

Handle dummy value through type coercion

8b0b255

Coercion from an unboxed int to an unboxed number can only occur for the dummy value.

Number unboxing in function parameters

401945d

Type analysis: small API change

d7e113e

Unboxed returned values

e7d04ea

Disable tail-call optimization for Math builtins

f846c11

V8 currently generates suboptimal code for this (the builtins are no longer inlined).

Reference unboxing

abfaaf4

Runtime: fix annotation of caml_compare

d19c1d4

Wasm: update comparison primitives to return an i32

aeaba57

Wasm: specialization of number comparisons

8212890

Inline min/max

19ffadd

Runtime: fix annotation of caml_lxm_next

f28d06e

More refined type for caml_ba_uint8_* operations

36c3387

vouillon force-pushed the fun-param-unboxing branch from 54a24e2 to fecb42b Compare July 10, 2025 15:00

vouillon added 4 commits July 17, 2025 11:49

More refined type for caml_string/bytes_get/set* operations

85d8239

More refined type for caml_ldexp_float

af45c96

Wasm: specialization of bigarray accesses

260d742

Wasm/runtime: put back caml_string_of_array

89ca989

Brr is using this function. This is an alias for caml_string_of_uint8_array.

vouillon force-pushed the fun-param-unboxing branch from fecb42b to 89ca989 Compare July 17, 2025 09:49

fixup! Wasm: specialization of bigarray accesses

d7de337

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Function optimizations #2054

Function optimizations #2054

Uh oh!

vouillon commented Jun 19, 2025 •

edited

Loading

Uh oh!

Uh oh!

Function optimizations #2054

Are you sure you want to change the base?

Function optimizations #2054

Uh oh!

Conversation

vouillon commented Jun 19, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

Uh oh!

vouillon commented Jun 19, 2025 •

edited

Loading